Real-time computing - PDFSEARCH.IO - Document Search Engine

Real-time computing
Results: 3077

#	Item
321	BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-01-25 09:02:49 Computing Integrated development environments Not Quite C RCX Lego For Inspiration and Recognition of Science and Technology Uppaal Model Checker HiC Scheduling Robotics Lego Mindstorms Robot kits
322	FOR TECHNOLOGY PARTNERS BrightCloud Real-Time Anti-Phishing Service ® OVERVIEW Add to Reading List Source URL: www.brightcloud.com Language: English - Date: 2015-04-13 13:56:27 Webroot Software Antivirus software Software Computing System software Malware Webroot Internet Security Essentials Webroot Internet Security Complete Phishing Social engineering Spamming
323	A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation Gilles Muller Julia L. Lawall Add to Reading List Source URL: www.diku.dk Language: English - Date: 2005-10-26 09:18:10 System software Process Concurrent computing Real-time computing Planning Scheduling Linux kernel Thread Kernel Scheduling algorithms Computing Computer architecture
324	Distributed Middleware Architectures for Scalable Media Services V. Kalogeraki, D. Zeinalipour-Yazti ∗, D. Gunopulos Department of Computer Science and Engineering University of California - Riverside Riverside, CA 925 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2012-06-20 14:59:28 File sharing networks Peer-to-peer computing Cloud storage Peercasting File sharing Peer-to-peer Content delivery network ANts P2P Real Time Streaming Protocol Concurrent computing Computing Distributed computing
325	Advanced Telecommunications/Information Distribution Research Program (ATIRP) Authentication Scheme for Distributed, Ubiquitous, Real-Time Protocols Add to Reading List Source URL: www.eecis.udel.edu Language: English - Date: 2003-01-09 19:58:21 Internet standards Computing Public-key cryptography Cryptographic protocols Domain name system Network Time Protocol Domain Name System Security Extensions Digest access authentication NTLM Cryptography Internet Internet protocols
326	Facebook Smart Card Minimizing your Facebook Visibility     Add to Reading List Source URL: www.hurlburt.af.mil Language: English - Date: 2014-10-16 09:57:41 Web 2.0 Facebook Social media Real-time web Blog hosting services Facebook features Internet privacy Like button Tagged World Wide Web Computing Software
327	VOL. 3, NO. 1, January 2013 ISSNARPN Journal of Systems and Software ©AJSS Journal. All rig Add to Reading List Source URL: www.scientific-journals.org Language: English - Date: 2013-01-02 08:55:52 Computing Real-time web Social media Text messaging Websites Microblogging Social networking service Yahoo! Twitter usage World Wide Web Technology Twitter
328	Tweets as Data: Demonstration of TweeQL and TwitInfo Adam Marcus, Michael S. Bernstein, Osama Badar, David R. Karger, Samuel Madden, Robert C. Miller MIT CSAIL {marcua, msbernst, badar, karger, madden, rcm}@csail.mit.ed Add to Reading List Source URL: marcua.net Language: English - Date: 2011-11-11 10:22:50 Websites Technology Real-time web Social media Text messaging Microblogging SQL Twitter World Wide Web Computing
329	911RTC  “Real-Time Video Report System using WebRTC” Add to Reading List Source URL: voip.itm.iit.edu Language: English - Date: 2013-05-22 04:57:18 Web standards Web development HTML5 Web application HTML Modernizr HTML5 File API Computing World Wide Web Markup languages
330	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing

UPDATE